decl-state(ds) == x:Idfpf-cap(ds; id-deq; x; top) 

latex

Definitions	x:AB(x), Id, fpf-cap(f; eq; x; z), id-deq, top
FDL editor aliases	decl-state